Isomorphism is an equivalence relation